- axiomatisiert
- аксиоматизированный
Немецко-русский математический словарь. 2013.
axiomatisiert
Смотреть что такое "axiomatisiert" в других словарях:
Axiomatisierung — „Unter der Axiomatisierung einer Theorie versteht man ihre Darstellung in der Weise, dass gewisse Sätze dieser Theorie, die Axiome, an den Anfang gestellt werden und weitere Sätze durch logische Deduktion aus ihnen abgeleitete werden.“[1]… … Deutsch Wikipedia
Axiomensystem — Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) des Systems logisch abgeleitet werden.[1][2] Die Ableitung erfolgt dabei durch die… … Deutsch Wikipedia
Hilberts Liste von 23 mathematischen Problemen — Die hilbertschen Probleme sind eine Liste von 23, zum Zeitpunkt der Veröffentlichung, ungelösten Problemem der Mathematik. Sie wurden vom deutschen Mathematiker David Hilbert im Jahr 1900 beim Internationalen Mathematiker Kongress in Paris… … Deutsch Wikipedia
Hilbertsche Probleme — Die hilbertschen Probleme sind eine Liste von 23 Problemen der Mathematik. Sie wurden vom deutschen Mathematiker David Hilbert am 8. August 1900 beim Internationalen Mathematiker Kongress in Paris vorgestellt und waren zu diesem Zeitpunkt… … Deutsch Wikipedia
Klassenlogik — Die Klassenlogik ist im weiteren Sinn eine Logik, deren Objekte als Klassen bezeichnet werden. Im engeren Sinn spricht man von einer Klassenlogik nur dann, wenn Klassen durch eine Eigenschaft ihrer Elemente beschrieben werden. Diese Klassenlogik… … Deutsch Wikipedia
Liste von 23 mathematischen Problemen — Die hilbertschen Probleme sind eine Liste von 23, zum Zeitpunkt der Veröffentlichung, ungelösten Problemem der Mathematik. Sie wurden vom deutschen Mathematiker David Hilbert im Jahr 1900 beim Internationalen Mathematiker Kongress in Paris… … Deutsch Wikipedia
Paarmenge — Als Paarmenge oder Zweiermenge bezeichnet man in der Mengenlehre die durch {a,b} symbolisierte Menge, die genau die Objekte a und b als Elemente enthält. Es gilt also: . In der älteren, naiven Mengenlehre, die noch nicht axiomatisiert war, war… … Deutsch Wikipedia
Postulat — Als Postulat (von lat.: postulatum = „Gefordertes, Erbetenes, vor Gericht beanspruchtes oder Behauptetes“[1]) wird ein Grundsatz für eine Diskussion, eine Theorie oder ein formales System bezeichnet, der keine neuen Terme einführt, aber nicht aus … Deutsch Wikipedia
Soziologische Grundbegriffe — Der Begriff Soziologische Grundbegriffe wurde von Max Weber (1913, 1922) in die Soziologie eingebracht. Weber führte damit sehr wirkungsvoll die Begriffsarbeit fort, die bereits unter anderem von Auguste Comte, Ferdinand Tönnies und Émile… … Deutsch Wikipedia
Elementare Klasse — Der Begriff elementare Klasse gehört zur Modelltheorie, einem Teilgebiet der mathematischen Logik. Es geht dabei um die Frage, wie sich Klassen von Strukturen durch Sätze der Prädikatenlogik erster Stufe charakterisieren lassen.… … Deutsch Wikipedia
Deontische Logik — ist der Bereich der Logik, in der es um normative Begriffe wie Verpflichtung, Erlaubnis usw. geht. Eine bestimmte deontische Logik ist ein formales System, in dem es für derartige Begriffe formale Ausdrücke gibt, üblicherweise OA für eine… … Deutsch Wikipedia
